#include<iostream>
int main()
{
	printf("%d\n", 12);
}